
/* driver.c -- test our compiler */

extern int _timstart();

int main(void) {
	printf("result: %d\n", _timstart());
	return 0;
}
